hyperarithmetically independent class

матем.

гипер-арифметически независимый класс